1. Completeness, compactness, and undecidability
المؤلف: / Alfred B. Manaster
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical,Predicate calculus
رده :
QA9
.
M294
2. Completeness, compactness, and undecidability : an introduction to mathematical logic
پدیدآورنده : Manaster, Alfred B
موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
3. Introduction to mathematical logic and its applications
المؤلف: Rosenbaum,Ira
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Predicate calculus
رده :
QA
9
.
35
.
R6
4. Logikē :
المؤلف: Dēmētrēs Portidēs, Stathēs Psyllos, Dionysios Anapolitanos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Debates and debating.,Logic, Symbolic and mathematical -- Problems, exercises, etc.,Predicate calculus -- Problems, exercises, etc.
5. Technical methods in philosophy /
المؤلف: John L. Pollock.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
رده :
BC135
.
P683
1990
